#include "defs.h"

volatile static int started = 0;

// start() jumps here in supervisor mode on all CPUs.
void
main()
{
    if(cpuid() == 0){
        uartinit();
        printf("xv6 kernel is booting\n");
    }

    while(1)
        ;
}
